• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۶ پاسخ غیر تکراری از ۱۶ پاسخ تکراری در مدت زمان ۰,۸۷ ثانیه یافت شد.

1. Automated deduction in geometry:

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

Subject: Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses

Classification :
QA448
.
D38I577
1997

2. Automated deduction in geometry

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Hoon Hong, Dongming Wang (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

Classification :
QA
,
448
,.
D38
,
I577
,
2004

3. Automated deduction in geometry

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Francisco Botana, Tomas Recio (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

Classification :
QA
,
448
,.
D38
,
I577
,
2006

4. Automated deduction in geometry :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Geometry ; Data processing ; Congresses ; Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ; raisonnement g?om?trique ; g?om?trie algorithmique ; d?monstration th?or?me ; G?om?trie ; d?duction automatique ;

Classification :

5. Automated deduction in geometry

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Geometry ; Data processing ; Congresses. ; Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;

Classification :

6. Automated deduction in geometry

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

Classification :
QA
,
448
,.
D38
,
I577
,
1998

7. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dongming Wang )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
1360

8. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
1669

9. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hoon Hong, Dongming Wang )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
3763

10. Automated deduction in geometry : 4th international workshop ...

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Geometry-Data processing-Congresses ► Automatic theorem proving-Congresses ► Logic, Symbolic and mathematical-Congresses

Classification :
516
I61a

11. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
448
.
D38
I577
2004

12. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hoon Hong, Dongming Wang )eds.(

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
448
.
D38
I577
2004

13. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Franz Winkler )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
2930

14. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Franz Winkler )ed.(

Library: Central Library and Documentation Center (Kerman)

Subject: Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
448
.
D38
I577
2002

15. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
448
.
D38
.
I577
2000

16. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jurgen Richter-Gebert, Dongming Wang, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
2061
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival